More from this Author

Quantitative Evaluation of Systems

by Javier Campos (Editor), Boudewijn R. Haverkort (Editor)

Formal Methods in Manufacturing

by Javier Campos (Editor), Carla Seatzu (Editor), Xiaolan Xie (Editor)